% Titlul lucrarii
\done\todo{sistemului de tipuri}

\title  {Verificarea termin\u arii programelor cu ajutorul tipurilor}
\supervisor  {Prof. dr. ing. Cristian Giumale}
\authors  {\texorpdfstring
            {\href{cristian.talau@cti.pub.ro}{Cristian T\u al\u au}}
            {Cristian T\u al\u au }
          }
\UNIVERSITY  {\texorpdfstring{\href{http://upb.ro}
                {UNIVERSITATEA "POLITEHNICA"  BUCURE\c STI}}
                {UNIVERSITATEA "POLITEHNICA"  BUCURE\c STI}}
\faculty     {\texorpdfstring{\href{http://acs.pub.ro}
                {Facultatea de Automatic\u a \c si Calculatoare}}
                {Facultatea de Automatic\u a \c si Calculatoare}}
% \addresses  {\groupname\\\deptname\\\univname}
\date       {\today}
\degree     {Lucrare de licen\c t\u a}
\subject    {}
\keywords   {}

\maketitle
